| # | Legge | Espressione |
|---|---|---|
| 1 | Identità | A + 0 = A A · 1 = A |
| 2 | Dominazione | A + 1 = 1 A · 0 = 0 |
| 3 | Idempotenza | A + A = A A · A = A |
| 4 | Doppia Negazione | ¬(¬A) = A |
| 5 | Commutativa | A + B = B + A A · B = B · A |
| 6 | Associativa | (A + B) + C = A + (B + C) (A · B) · C = A · (B · C) |
| 7 | Distributiva | A · (B + C) = A·B + A·C A + (B·C) = (A+B)(A+C) |
| 8 | De Morgan | ¬(A·B) = ¬A + ¬B ¬(A+B) = ¬A · ¬B |
| 9 | Assorbimento | A + (A·B) = A A · (A+B) = A |
| 10 | Complemento | A + ¬A = 1 A · ¬A = 0 |